Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·10h
λLambda Encodings
Flag this post
Pitch Multiplication (2017)
🎼Audio Lambda Calculus
Flag this post
Beyond the Geometry of Music
golem.ph.utexas.edu·14h
🎼Audio Lambda Calculus
Flag this post
Set theory with types
🔤Type Theory
Flag this post
Evolution Strategies at the Hyperscale
🔲Cellular Automata
Flag this post
Closest consecutive reciprocal sum to an integer
johndcook.com·3d
📐Error Bounds
Flag this post
Notes for November 17-22
taoofmac.com·8h
🌀Brotli Internals
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·6h
🌀Brotli Internals
Flag this post
[D] Looking for resources on “problem framing + operational thinking” for ML ?
🎵Audio ML
Flag this post
Understanding intrinsically disordered protein regions and their roles in cancer
phys.org·1d
⚙️ABNF Mining
Flag this post
Incorporating Self-Rewriting into Large Language Model Reasoning Reinforcement
arxiv.org·2d
💻Programming languages
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
📄Text Chunking
Flag this post
A Subsets.py Step-by-Step Visualization! (With Lyrics)
youtube.com·1d
📚Lempel-Ziv
Flag this post
Google's Nested Learning aims to stop LLMs from catastrophic forgetting
the-decoder.com·11h
💻Local LLMs
Flag this post
Loading...Loading more...